Edsger W. Dijkstra - PDFSEARCH.IO - Document Search Engine

Edsger W. Dijkstra
Results: 213

#	Item
11	Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:59 Computing Computer programming Concurrency control Software engineering Software design patterns Concurrency Edsger W. Dijkstra Concurrent computing Synchronization Thread-local storage Java memory model Thread
12	Microsoft Worddoc Add to Reading List Source URL: publik.tuwien.ac.at Language: English - Date: 2008-08-01 06:21:03 Mathematics Routing algorithms Edsger W. Dijkstra Graph theory Applied mathematics Search algorithms Game artificial intelligence Combinatorial optimization A* search algorithm Shortest path problem Maze Algorithm
13	Category-Based Routing in Social Networks: Membership Dimension and the Small-World Phenomenon David Eppstein∗ arXiv:1108.4675v1 [cs.SI] 23 Aug 2011 Add to Reading List Source URL: www.dcg.ethz.ch Language: English - Date: 2014-09-26 08:28:56 Graph theory Mathematics Network theory Routing algorithms Edsger W. Dijkstra Spanning tree Bipartite graphs Shortest path problem Tree Graph Geographic routing Routing
14	Graph Expansion and Communication Costs of Fast Matrix Multiplication Grey Ballard ∗ James Demmel † Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2014-11-26 08:32:33 Graph theory Mathematics Combinatorial optimization Edsger W. Dijkstra Matrix multiplication algorithm NP-complete problems Matching Routing algorithms Computational complexity theory Connected component Dynamic programming Graph coloring
15	Random Shortest Paths: Non-Euclidean Instances for Metric Optimization Problems∗ Karl Bringmann†1 , Christian Engels2 , Bodo Manthey3 , and B. V. Raghavendra Rao4 1 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:48:33 Graph theory Mathematics Computational complexity theory NP-hard problems NP-complete problems Edsger W. Dijkstra Combinatorial optimization Approximation algorithms Travelling salesman problem Shortest path problem Matching Randomized algorithm
16	usinggraphcuts_in_gpus_for_color_based_human_skin_segmentation_revision Add to Reading List Source URL: www.gcg.ufjf.br Language: English - Date: 2016-07-25 19:25:40 Graph theory Mathematics Network flow Computer vision Image segmentation Search algorithms Edsger W. Dijkstra Graph cuts in computer vision Maximum flow problem Watershed Flow network Pushrelabel maximum flow algorithm
17	Exercise 10: Exercising in style Task 1: Very exclusive! a) Give a solution to mutual exclusion using a fetch-and-add register. b) Give a solution to mutual exclusion using a compare-and-swap register. c) Give a solution Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2015-01-06 07:25:52 Edsger W. Dijkstra Concurrency control Mutual exclusion Binary trees
18	TOPIC #1: Concurrent Testing - Eitan Farchi, Jan Fiedor, Tomas Vojnar, Michael Pradel, Severin Heiniger, Samira Tasharofi When to stop? • A concurrent program is run repeatedly – each run new interleavings are execut Add to Reading List Source URL: faculty.uoit.ca Language: English - Date: 2012-07-18 00:49:35 Computing Software Concurrent computing Edsger W. Dijkstra Lock Code coverage Interleaving Thread
19	Distributed Computing Prof. R. Wattenhofer BA/SA: Online Graph Exploration Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-06-13 14:42:35 Graph theory Mathematics Online algorithm Line graph Graph Graph coloring Operations research Edsger W. Dijkstra Graph traversal Edge coloring
20	Advances in Programming Languages APL14: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-24 17:48:20 Computing Software engineering Computer programming Concurrent programming languages Inter-process communication Functional languages Concurrent computing Edsger W. Dijkstra Process calculi Actor model Message passing Scala